Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
431	PDF Document Add to Reading List Source URL: www.omg.org Language: English - Date: 2014-04-16 09:52:00 Infographics Communication design Software engineering Design Automata theory Activity diagram Sequence diagram State diagram Finite-state machine UML diagrams Models of computation Diagrams
432	Best Practice in Robotics(BRICS) Grant Agreement Number: [removed][removed]Deliverable D4.2: Statecharts and IPC policy improvements to MDE standards Add to Reading List Source URL: www.best-of-robotics.org Language: English - Date: 2013-04-22 10:00:17 Software engineering Theoretical computer science Automata theory Digital electronics Information science State diagram Finite-state machine Unified Modeling Language Event Models of computation Diagrams UML diagrams
433	THE POWER OF EXTENDED TOP-DOWN TREE TRANSDUCERS∗ ANDREAS MALETTI† , JONATHAN GRAEHL‡ , MARK HOPKINS§ , AND KEVIN KNIGHT¶ Abstract. Extended top-down tree transducers (transducteurs g´ en´ eralis´ es descendant Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-02-23 10:58:14 Mathematical logic Automata theory Finite state transducer Admissible rule Symbol Structure String Model theory Normal distribution Mathematics Formal languages Logic
434	Capturing Practical Natural Language Transformations Kevin Knight Information Sciences Institute and Computer Science Department University of Southern California [removed] Add to Reading List Source URL: www.isi.edu Language: English - Date: 2008-02-13 19:53:36 Theoretical computer science Computer science Finite state transducer Computational linguistics Finite-state machine Applied mathematics Formal grammar Tree automaton Speech recognition Automata theory Models of computation Formal languages
435	Towards Probabilistic Acceptors and Transducers for Feature Structures Daniel Quernheim Institute for Natural Language Processing Universit¨at Stuttgart, Germany Pfaffenwaldring 5b, 70569 Stuttgart [removed]-stuttg Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2012-06-21 10:19:05 Models of computation Directed acyclic graph Finite-state machine Finite state transducer Graph Directed graph Tree Trie Graph theory Theoretical computer science Automata theory
436	DAGGER: A Toolkit for Automata on Directed Acyclic Graphs Kevin Knight University of Southern California Information Sciences Institute Marina del Rey, California[removed]removed] Add to Reading List Source URL: www.isi.edu Language: English - Date: 2012-07-17 14:34:24 Applied mathematics Computer science Finite state transducer Finite-state machine Directed acyclic graph Mehryar Mohri DAG Tree automaton Algorithm Automata theory Models of computation Theoretical computer science
437	In Proc. of the Eleventh International Conference on Implementation and Application of Automata (CIAA), Lecture Notes in Computer Science, c Springer Verlag, 2006. Tiburon: A Weighted Tree Automata Toolkit Jonathan May a Add to Reading List Source URL: www.isi.edu Language: English - Date: 2006-07-06 12:34:50 Models of computation Computer science Software engineering Finite state transducer FSA Utilities Finite-state machine Tree automaton Formal grammar Context-free grammar Formal languages Automata theory Theoretical computer science
438	Efficient Inference Through Cascades of Weighted Tree Transducers Jonathan May and Kevin Knight Information Sciences Institute University of Southern California Marina del Rey, CA 90292 {jonmay,knight}@isi.edu Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-07-05 10:42:37 Statistics Automata theory Finite state transducer Symbol Expectation–maximization algorithm String Model theory Lp space Structure Mathematics Formal languages Mathematical analysis
439	JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version Add to Reading List Source URL: mirrors.hust.edu.cn Language: English - Date: 2014-07-22 07:31:56 Theoretical computer science Computer science PGF/TikZ Turing machine Finite-state machine Pushdown automaton Models of computation Theory of computation Automata theory
440	Hybrid System Modeling: Operational Semantics Issues OMG Technical Meeting Feb. 4, 2004 Anaheim, CA, USA Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2004-02-06 20:38:42 Theoretical computer science Science Differential equations Dynamical systems Diagrams Finite-state machine Actor model Hybrid system SIGNAL Models of computation Computing Automata theory

UPDATE